翻訳と辞書
Words near each other
・ colour model
・ colour palette
・ columbia appletalk package
・ column
・ column address strobe
・ com
・ com port
・ comal
・ combination
・ combinator
combinatory logic
・ comdex
・ come from
・ comis
・ comit
・ comit ii
・ comite europeen des postes et telecommunications
・ comm mode
・ comma
・ comma separated values


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

combinatory logic : FOLDOC
combinatory logic
A system for reducing the operational notation of logic, mathematics or a functional language to a sequence of modifications to the input data structure. First introduced in the 1920's by {Schoenfinkel}. Re-introduced independently by Haskell Curry in the late 1920's (who quickly learned of Schoenfinkel's work after he had the idea). Curry is really responsible for most of the development, at least up until work with Feys in 1958.
See combinator.
(1995-01-05)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.